void putstr(char *str);
void putstrf(char flash *str);
char rx2buffer(unsigned char mode);
void char2buffer(char data);
void str2buffer(char *str);
void strf2buffer(char flash *str);
void rtc2ymdhms(unsigned char *rtc_msg, unsigned char *ymdhms);
void rtc2buffer(void);
unsigned char wait4prompt(void);
unsigned char wait4message(void);
void open_file4write(char *fname, unsigned char time_tag);
void write_buffer2file(unsigned char mode);
void check_buffer(void);
void close_file(flash char *fname);
void close_file_nf(char *fname);
void rename_file(flash char *fname, flash char *fname_new);
void open_file4read(flash char *fname);
void read_setup_from_file(void);
void read_time_from_file(unsigned char *rtc_msg);
void get_setup_from_file(void);
void set_time_from_file(void);
void check4setup_file(void);
void check4time_file(void);
void suspend_monitor(void);
void suspend_disk(void);
void wake_monitor(void);
void wake_disk(void);
char spi_status(void);
void display_value(unsigned char c);

char getchar(void);
void putchar(char c);